Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
11	April 6, 2010 — final version for proceedings of CiE’10 What is the Problem with Proof Nets for Classical Logic ? Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2010-06-19 08:38:24
12	normalization & classical logic logical verification week Add to Reading List Source URL: www.cs.ru.nl - Date: 2004-12-15 12:39:13
13	5th Conference: Non-Classical Logic. Theory and Applications Torun, 27–29 SeptemberAim Add to Reading List Source URL: logica.ugent.be - Date: 2012-10-08 11:19:38
14	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: aydinmohseni.com Language: English - Date: 2015-09-20 14:52:00 Formal sciences Logic Logic in computer science Mathematical logic Non-classical logic Philosophy Minneapolis College of Art and Design Mathematics Intuitionistic logic
15	PDF Document Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2011-04-30 13:38:39 Fuzzy logic Logic Academia Artificial intelligence Mathematical logic Logic in computer science Non-classical logic Fuzzy set Fuzzy concept Neuro-fuzzy Lotfi A. Zadeh Fuzzy control system
16	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
17	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
18	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
19	Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-12-16 16:04:19 Logic Graphical models Mathematics Mathematical logic Structured prediction Markov random field Probability theory Non-classical logic Logic in computer science Bayesian network Random field Fuzzy logic
20	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem